int problem_25();
